• Ponencia
      Icon

      A Toolbox for Simpler Active Membrane Algorithms 

      Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio (Fénix, 2016)
      We show that recogniser P systems with active membranes can be augmented with a priority over their set of rules and any ...
    • Ponencia
      Icon

      An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Division 

      Porreca, Antonio E.; Murphy, Niall; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2012)
      In the framework of tissue P systems with cell division, the length of communication rules provides a frontier for the ...
    • Ponencia
      Icon

      Characterizing PSPACE with Shallow Non-Confluent P Systems 

      Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio (Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
      In P systems with active membranes, the question of understanding the power of non-confluence within a polynomial time ...
    • Ponencia
      Icon

      Complete Problems for a Variant of P Systems with Active Membranes 

      Porreca, Antonio E.; Leporati, Alberto; Mauri, Giancarlo; Zandron, Claudio (Fénix Editora, 2010)
      We identify a family of decision problems that are hard for some complexity classes defined in terms of P systems with ...
    • Ponencia
      Icon

      Constant-Space P Systems with Active Membranes 

      Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio (Fénix Editora, 2014)
      We continue the investigation of the computational power of space- constrained P systems. We show that only a constant ...
    • Ponencia
      Icon

      Elementary Active Membranes Have the Power of Counting 

      Porreca, Antonio E.; Leporati, Alberto; Mauri, Giancarlo; Zandron, Claudio (Fénix Editora, 2011)
      We prove that uniform families of P systems with active membranes operat- ing in polynomial time can solve the whole class ...
    • Ponencia
      Icon

      First Steps Towards Linking Membrane Depth and the Polynomial Hierarchy 

      Porreca, Antonio E.; Murphy, Niall (Fénix Editora, 2010)
      In this paper we take the first steps in studying possible connections between non-elementary division with limited ...
    • Ponencia
      Icon

      Improving Universality Results on Parallel Enzymatic Numerical P Systems 

      Leporati, Alberto; Porreca, Antonio E.; Zandron, Claudio; Mauri, Giancarlo (Fénix Editora, 2013)
      We improve previously known universality results on enzymatic numerical P systems (EN P systems, for short) working in ...
    • Ponencia
      Icon

      Introducing a Space Complexity Measure for P Systems 

      Porreca, Antonio E.; Leporati, Alberto; Mauri, Giancarlo; Zandron, Claudio (Fénix Editora, 2009)
      We define space complexity classes in the framework of membrane computing, giving some initial results about their mutual ...
    • Ponencia
      Icon

      Monodirectional P Systems 

      Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio (Fénix Editora, 2015)
      We investigate the in uence that the ow of information in membrane systems has on their computational complexity. In ...
    • Ponencia
      Icon

      Purely Catalytic P Systems over Integers and Their Generative Power 

      Alhazov, Artiom; Belingheri, Omar; Freund, Rudolf; Ivanov, Sergiu; Porreca, Antonio E.; Zandron, Claudio (Fénix, 2016)
      We further investigate the computing power of the recently introduced P systems with Z-multisets (also known as hybrid ...
    • Ponencia
      Icon

      Semilinear Sets, Register Machines, and Integer Vector Addition (P) Systems 

      Alhazov, Artiom; Belingheri, Omar; Freund, Rudolf; Ivanov, Sergiu; Porreca, Antonio E.; Zandron, Claudio (Fénix, 2016)
      In this paper we consider P systems working with multisets with integer multiplicities. We focus on a model in which rule ...
    • Ponencia
      Icon

      Simulating counting oracles with cooperation 

      Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      We prove that monodirectional shallow chargeless P systems with active membranes and minimal cooperation working in ...
    • Ponencia
      Icon

      Subroutines in P Systems and Closure Properties of Their Complexity Classes 

      Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio (Fenix Editora, 2017)
      The literature on membrane computing describes several variants of P systems whose complexity classes C are "closed under ...
    • Ponencia
      Icon

      The Computational Power of Exponential-Space P Systems with Active Membranes 

      Alhazov, Artiom; Leporati, Alberto; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio (Fénix Editora, 2012)
      We show that exponential-space P systems with active membranes characterize the complexity class EXPSPACE. This result ...
    • Ponencia
      Icon

      Turing Incompleteness of Asynchronous P Systems with Active Membranes 

      Leporati, Alberto; Manzoni, Luca; Porreca, Antonio E. (Fénix Editora, 2013)
      We prove that asynchronous P systems with active membranes without divi- sion rules can be simulated by place/transition ...